Dict(
	[16, 15, 7, 11, 14, 1, 1, 13, 1, 1] => QQFieldElem[32//9, 0, 0, 0])